Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
61	Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:26:28 External variable Futures and promises Environment variable Free variables and bound variables Variable Closure SystemVerilog Software engineering Computing Synchronous programming language
62	Lexical Addresses Computing Lexical Addresses As we saw in the last lecture, the expression What creates a new frame? Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Closure Scheme Free variables and bound variables Eval Function Software engineering Computing Subroutines
63	A Tabling Implementation Based on Variables with Multiple Bindings Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-05-02 05:38:03 Type theory Variables Prolog Backtracking MOS Technology SID Assignment Pointer Free variables and bound variables Stack Computing Software engineering Data types
64	Under consideration for publication in Math. Struct. in Comp. Science Transcendental syntax I: deterministic case Jean-Yves Girard Revised March 31, 2015 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2015-04-07 01:47:10 Transcendental number Function Natural deduction Mathematical proof Entailment Free variables and bound variables Logic Mathematics Deduction
65	The Arbitrariness of Variable Names Are the following two programs equavalent? (define (f x) (+ x 1)) (fdefine (f y) (+ y 1)) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lambda calculus Variables Predicate logic Data types Free variables and bound variables Function Combinatory logic Mathematics Software engineering Elementary mathematics
66	A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:50:31 Mathematics Formal methods Philosophical logic Quantification Free variables and bound variables Type theory Denotational semantics Combinatory logic Logic Mathematical logic Predicate logic
67	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
68	The Lambda Calculus A Brief Introduction Georg P. Loczewski A Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-12-20 07:35:21 Applied mathematics Combinatory logic Fixed-point combinator Expression Hindley–Milner Free variables and bound variables Lambda Binary lambda calculus Lambda-mu calculus Lambda calculus Theoretical computer science Mathematics
69	Non-local reflexive interpretations and the typology of anaphora Giorgos Spathas University of Stuttgart Work on Binding Theory (BT) in different frameworks (e.g, Reinhart and Reuland 1993, Pollard and Sag[removed]converge Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:50 Semantics Predicate logic Reflexive pronoun Free variables and bound variables Predicate Anaphora Ellipsis Princess Zelda The Legend of Zelda Linguistics Syntax Philosophy of language
70	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory

UPDATE